The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Source URL: openwall.info

• Theoretical computer science
• Formal methods
• Computer science
• Software engineering
• Logic in computer science
• Dependently typed programming
• Proof assistants
• Proof-carrying code
• Formal verification
• Mathematical proof
• CurryHoward correspondence
• Algorithm

An Adaptive Anchor Navigation Algorithm for Localization in MANET Sudhir Kumar, Shriman Narayan Tiwari, Rajesh M. Hegde Department of Electrical Engineering Indian Institute of Technology, Kanpur, India Email: {sudhirkr,

Source URL: home.iitk.ac.in

Algorithm and Knowledge Engineering for the TSPTW Problem Stefan Edelkamp∗ , Max Gath∗ , Tristan Cazenave† , and Fabien Teytaud‡ ∗ Institute for Artificial Intelligence, University of Bremen, Germany, Email: {

Source URL: www.lamsade.dauphine.fr

Delft University of Technology Software Engineering Research Group Technical Report Series An Algorithm for Layout Preservation in Refactoring Transformations

Source URL: swerl.tudelft.nl

Genome Informatics 16(2): 205–Reverse Engineering Genetic Networks Using Evolutionary Computation

Source URL: www.jsbi.org

• Networks
• Cybernetics
• Systems biology
• Mathematical optimization
• Evolution
• Gene regulatory network
• Genetic algorithm
• Evolutionary computation
• SOS response
• Evolutionary algorithm
• Global optimization
• Bayesian network

A Randomized Sublinear Time Parallel GCD Algorithm ∗ for the EREW PRAM Jonathan P. Sorenson Computer Science and Software Engineering, Butler University Indianapolis, INUSA

Source URL: www.ants9.org

Programming Teclmiques S. L. Graham, R. L. Rivest Editors

Source URL: spinroot.com

• Software engineering
• Computer programming
• Computing
• Theoretical computer science
• Parameter
• Subroutines
• Variable
• Limit of a function
• Algorithm
• Dc
• FOCAL-69
• PILOT

Dynamic Test Generation for Large Binary Programs by David Alexander Molnar A.B. (Harvard CollegeM.S. (University of California, Berkeley) 2006

Source URL: www.dmolnar.com

• Software testing
• Search algorithms
• Theoretical computer science
• Fuzz testing
• Hash function
• Algorithm
• Mathematical optimization
• Software bug
• Information retrieval
• Software engineering
• Mathematics

Safe Nondeterminism in a Deterministic-by-Default Parallel Language Robert L. Bocchino Jr.1 Stephen Heumann2 Nima Honarmand2 Sarita V. Adve2

Source URL: www.adamwelc.org

• Software engineering
• Computing
• Computer programming
• Concurrency control
• Transaction processing
• Complexity classes
• Java
• Functional languages
• Deterministic Parallel Java
• Determinism
• Deterministic algorithm
• Linearizability

Algorithm Engineering for Optimal Graph Bipartization Jiong Guo Jens Gramm Falk H¨ uffner

Source URL: www.user.tu-berlin.de